1. Elementary Standard ML.
پدیدآورنده: G Michaelson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Functional programming (Computer science),ML (Computer program language)
رده :
QA76
.
73
.
M6
G553
9999
2. Elements of ML programming
پدیدآورنده: / Jeffrey D. Ullman.
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: ML (Computer program language)
رده :
QA
76
.
73
.
M6U45
1998
3. Functional Programming Using Standard ML
پدیدآورنده: Ake Wikstrom
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Functional Programming (computer science),ML (computer program language)
رده :
QA
،
76
.
7
،.
W54
،
1987
4. Functional programming using standard ML
پدیدآورنده: Wikstrom, Ake
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Functional programming )Computer science(,، ML )Computer program language(
رده :
QA
76
.
7
.
W54
1987
5. Functional programming using standard ML
پدیدآورنده: Wikstrom, Ake
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Functional programming )Computer science(,، ML )Computer program language(
رده :
QA
76
.
7
.
W54
1987
6. Introduction to HOL
پدیدآورنده: / edited by M.J.C. Gordon and T.F. Melham
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Automatic theorem proving,ML (Computer program language),HOL (Computer file)
رده :
QA
9
.
9
.
A9636
1993
7. Introduction to programming using SML /
پدیدآورنده: Michael R. Hansen and Hans Rischel
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming,ML (Computer program language)
8. ML with concurrency: design, analysis, implementation, and application
پدیدآورنده: Nielson, Flemming
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، ML )Computer program language(,، Functional programming )Computer science(,، Parallel programming )Computer science(
رده :
QA
76
.
73
.
M6
.
N54
1996
9. ML with concurrency : design, analysis, implementation, and application
پدیدآورنده: Nielson, Flemming
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، ML )Computer program language(,، Functional programming )Computer science(,، Parallel programming )Computer science(
رده :
QA
76
.
73
.
M6
N54
1996
10. ML with concurrency : design, analysis, implementation, and applications
پدیدآورنده: Nielson, Flemming, 5591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، ML )Computer program language(,، Functional programming )Computer science(,، Parallel programming )Computer science(
رده :
QA
76
.
73
.
M6N5
11. Meta-programming and model-driven meta-program development
پدیدآورنده: Vytautas Štuikys, Robertas Damaševičius
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming,ML (Computer program language),Software engineering
رده :
QA76
.
6
.
S78
2013
12. Programming with Standard ML
پدیدآورنده: Myers, Colin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، ML )Computer program language(
رده :
Qa
76
.
73
.
M6
M94
1993
13. The Standard ML basis manua
پدیدآورنده: / edited by Emden R. Gansner, John H. Reppy
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: ML (Computer program language)
رده :
QA
,
76
.
73
,.
M6
,
S72
,
2004
,
WEB
14. The Vienna development method : the Meta-language
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، ML )Computer program language(
رده :
QA
76
.
7
.
V53
